Geometri Feasibilitas
Untuk masalah konveks dengan kendala persamaan $Ax=b$, vektor $v \in \mathbf{R}^n$ adalah arah layak jika $Av = 0$. Ini berarti bahwa bergerak dalam arah $v$ mempertahankan kendala: $A(x+v) = b$ jika $Ax=b$.
Agar $x^*$ optimal, turunan arah $\nabla f(x^*)^T v$ harus nol untuk semua arah layak $v$ dalam ruang nol $\mathcal{N}(A)$. Ini menyiratkan bahwa gradien $\nabla f(x^*)$ harus ortogonal terhadap $\mathcal{N}(A)$, yang membawa kita pada eksistensi pengali Lagrange.
Suatu titik $x^*$ optimal jika dan hanya jika terdapat vektor $\nu^* \in \mathbb{R}^p$ sedemikian sehingga:
$\nabla f(x^*) + A^T \nu^* = 0$
Ini membentuk sistem persamaan linear yang menggambarkan keseimbangan antara penurunan fungsi objektif dan manifold kendala.
Gradien Terproyeksi
Proyeksi proyeksi Euclidean dari gradien negatif $-\nabla f(x)$ ke ruang nol $\mathcal{N}(A)$ diberikan oleh:
$\Delta x_{\text{pg}} = \text{argmin}_{Au=0} \| -\nabla f(x) - u \|_2$
Vektor ini merepresentasikan arah penurunan layak yang "terbaik". Sangat penting, $x$ optimal jika dan hanya jika $\Delta x_{\text{pg}} = 0$.
Sistem KKT dan Sifat Matriks
Kita dapat menyelesaikan langkah Newton dan variabel dual secara bersamaan menggunakan sistem blok:
$$\begin{bmatrix} I & A^T \\ A & 0 \end{bmatrix} \begin{bmatrix} v \\ w \end{bmatrix} = \begin{bmatrix} -\nabla f(x) \\ 0 \end{bmatrix}$$Catatan tentang Sifat Spektral Matriks: Matriks KKT bersifat simetris tetapi tidak definit. Jika matriks tersebut tak singular, maka memiliki tepat $n$ nilai eigen positif dan $p$ nilai eigen negatif. Ini menyiratkan bahwa titik optimal $(x^*, \nu^*)$ merupakan titik sadel dari Lagrangian $L(x, \nu) = f(x) + \nu^T(Ax-b)$, bukan titik minimum lokal sederhana dalam ruang primal-dua yang digabungkan.